منابع مشابه
Semantic Foundations of Commutativity Analysis
This paper presents the semantic foundations of commutativity analysis, an analysis technique for automatically parallelizing programs written in a sequential, imperative programming language. Commutativity analysis views the computation as composed of operations on objects. It then analyzes the program at this granularity to discover when operations commute (i.e. generate the same result regar...
متن کاملFoundations of Total Functional Data-Flow Programming
The field of declarative stream programming (discrete time, clocked synchronous, modular, datacentric) is divided between the data-flow graph paradigm favored by domain experts, and the functional reactive paradigm favored by academics. In this paper, we describe the foundations of a framework for unifying functional and data-flow styles that differs from FRP proper in significant ways: It is b...
متن کاملExploratory Sequential Data Analysis: Foundations
Human-computer interaction (HCI) investigators must consider the sequential nature of interaction and must often weigh behavioral, cognitive, and social factors when studying and designing today's increasingly complex systems. In many cases, laboratory experimentation is inappropriate and formal modeling intractable; instead, observational data analysis is frequently the only appropriate empiri...
متن کاملControl / Data-Flow Analysis for VHDL Semantic Extraction
Model abstraction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to the specifications to be verified. However, in order to perform model abstraction, we must extract the semantics of the model itself. In this paper, we describe a method for extracting VHDL semantics for model abstraction to improve th...
متن کاملConcepts and Foundations of Data Analysis and Statistical Information in Modern Statistical System
Abstract. One of the most important fundamental principles of official statistics, is the principle of Relevance, Impartiality, and professional ethics. Trust and ensure of the stakeholders and users of official statistics to the professional independency of National Statistical Offices (NSO) and the National Statistical System (NSS), as a social capital, is one of the most important factors fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DAIMI Report Series
سال: 1981
ISSN: 2245-9316,0105-8517
DOI: 10.7146/dpb.v10i131.7585